]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d07832) | patch
extensionPrefs: Tweak UI
authorFlorian Müllner <fmuellner@gnome.org>
Mon, 14 Dec 2015 23:37:47 +0000 (00:37 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Wed, 15 Feb 2017 22:20:14 +0000 (23:20 +0100)
commit75f8279a19a5a2a7eb28e5ce25f2c0bc5664f3bf
tree390e289cd088d2b25c31857fbbab62eb7cd5b535tree | snapshot
parent5d07832e961046ee989a19661c288e2633fed1f4commit | diff
extensionPrefs: Tweak UI

Update according to the latest mockups:
 - don't use a border around the list as specified
   by the latest HIG version
 - use more generous spacing between controls
 - allow extension descriptions to take up two lines
 - drop GNOME branding from the window title
 - make the app name consistent with the window title

https://bugzilla.gnome.org/show_bug.cgi?id=778672
data/gnome-shell-extension-prefs.desktop.in.in diff | blob | history
js/extensionPrefs/main.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.